SherbyNet - /page/wikibook/entry.mu

Micron Document

<!DOCTYPE html>

<title>Protocole cryptographique</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Protocole cryptographique</span></h1>

</header>

</div>

<p>Un <b>protocole de sécurité (protocole</b> <b>cryptographique ou protocole</b> de <b>chiffrement</b>) est un <a href="Protocole_de_communication" title="Protocole de communication">protocole</a> abstrait ou concret qui remplit une fonction liée à la <a href="S%C3%A9curit%C3%A9_de_l'information" title="Sécurité de l'information">sécurité</a> et applique des méthodes <a href="Cryptographie" title="Cryptographie">cryptographiques</a>, souvent sous forme de séquences de <a href="Primitive_cryptographique" title="Primitive cryptographique">primitives cryptographiques</a>. Un protocole décrit comment les <a href="Algorithme" title="Algorithme">algorithmes</a> doivent être utilisés et inclut des détails sur les <a href="Structure_de_donn%C3%A9es" title="Structure de données">structures de données</a> et les représentations, à quel point il peut être utilisé pour implémenter plusieurs versions interopérables d'un programme<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>.

</p><p>Les protocoles cryptographiques sont largement utilisés pour le transport sécurisé des données au niveau de l'application. Un protocole cryptographique intègre généralement au moins certains de ces aspects :

</p>

<ul><li>Accord ou établissement de clé</li>

<li><a href="Authentification" title="Authentification">Authentification</a> de l'entité</li>

<li><a href="Chiffrement" title="Chiffrement">Chiffrement</a> symétrique et authentification des messages</li>

<li>Transport de données sécurisé au niveau de l'application</li>

<li>Méthodes <a href="Non-r%C3%A9pudiation" title="Non-répudiation">de non-répudiation</a></li>

<li>Méthodes <a href="Secret_r%C3%A9parti" title="Secret réparti">de partage de secrets</a></li>

<li><a href="Calcul_multipartite_s%C3%A9curis%C3%A9" title="Calcul multipartite sécurisé">Calcul multipartite sécurisé</a></li></ul>

<p>Par exemple, <a href="Transport_Layer_Security" title="Transport Layer Security">Transport Layer Security</a> (TLS) est un protocole cryptographique utilisé pour sécuriser les connexions Web (<a href="HyperText_Transfer_Protocol_Secure" class="mw-redirect" title="HyperText Transfer Protocol Secure">HTTPS</a>)<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>. Il dispose d'un mécanisme d'authentification d'entité, basé sur le système <a href="X.509" title="X.509">X.509</a> ; une phase de configuration de clé, où une clé de <a href="Cryptographie_sym%C3%A9trique" title="Cryptographie symétrique">chiffrement symétrique</a> est formée en employant une <a href="Cryptographie_asym%C3%A9trique" title="Cryptographie asymétrique">cryptographie à clé publique</a> ; et une fonction de transport de données au niveau de l'application. Ces trois aspects ont des interconnexions importantes. TLS standard ne prend pas en charge la non-répudiation.

</p><p>Il existe également d'autres types de protocoles cryptographiques, et même le terme lui-même a différentes lectures ; Les protocoles <i>d'application</i> cryptographique utilisent souvent une ou plusieurs méthodes d'accord de clé sous-jacentes, qui sont parfois elles-mêmes appelées "protocoles cryptographiques". Par exemple, TLS utilise ce que l'on appelle l'<a href="%C3%89change_de_cl%C3%A9s_Diffie-Hellman" title="Échange de clés Diffie-Hellman">échange de clés Diffie-Hellman</a>, qui, bien qu'il ne soit qu'une partie de TLS <i>en soi</i>, Diffie-Hellman peut être considéré comme un protocole cryptographique complet en soi pour d'autres applications.

</p>

<div class="mw-heading mw-heading2"><h2 id="Protocoles_cryptographiques_avancés"><span id="Protocoles_cryptographiques_avanc.C3.A9s"></span>Protocoles cryptographiques avancés</h2></div>

<p>Une grande variété de protocoles cryptographiques vont au-delà des objectifs traditionnels de confidentialité, d'intégrité et d'authentification des données pour sécuriser également une variété d'autres caractéristiques souhaitées de la collaboration assistée par ordinateur<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>. <a href="Signature_aveugle" title="Signature aveugle">Les signatures aveugles</a> peuvent être utilisées pour l'argent numérique et les informations d'identification numériques pour prouver qu'une personne détient un attribut ou un droit sans révéler l'identité de cette personne ou l'identité des parties avec lesquelles cette personne a effectué des transactions. <a href="Horodatage_certifi%C3%A9" title="Horodatage certifié">L'horodatage numérique sécurisé</a> peut être utilisé pour prouver que des données (même confidentielles) existaient à un certain moment. <a href="Calcul_multipartite_s%C3%A9curis%C3%A9" title="Calcul multipartite sécurisé">Le calcul multipartite sécurisé</a> peut être utilisé pour calculer des réponses (telles que la détermination de l'offre la plus élevée dans une enchère) sur la base de données confidentielles (telles que des offres privées), de sorte que lorsque le protocole est terminé, les participants ne connaissent que leur propre entrée et la réponse. Les systèmes de vote auditables de bout en bout fournissent des ensembles de propriétés de confidentialité et d'auditabilité souhaitables pour la conduite du <a href="Vote_%C3%A9lectronique" title="Vote électronique">vote électronique</a>. Les signatures indéniables incluent des protocoles interactifs qui permettent au signataire de prouver une contrefaçon et de limiter qui peut vérifier la signature. <a href="D%C3%A9ni_plausible_(cryptologie)" title="Déni plausible (cryptologie)">Le chiffrement déniable</a> augmente le chiffrement standard en rendant impossible pour un attaquant de prouver mathématiquement l'existence d'un message en texte brut. Les mélanges numériques créent des communications difficiles à tracer.

</p>

<div class="mw-heading mw-heading2"><h2 id="Vérification_formelle"><span id="V.C3.A9rification_formelle"></span>Vérification formelle</h2></div>

<p>Les protocoles cryptographiques peuvent parfois être <a href="V%C3%A9rification_formelle" title="Vérification formelle">vérifiés formellement</a> à un niveau abstrait. Lorsque cela est fait, il est nécessaire de formaliser l'environnement dans lequel le protocole opère afin d'identifier les menaces. Cela se fait fréquemment à travers le modèle Dolev-Yao.

</p><p>Logiques, concepts et calculs utilisés pour le raisonnement formel des protocoles de sécurité :

</p>

<ul><li>Logique Burrows – Abadi – Needham (logique BAN)</li>

<li>Modèle Dolev-Yao</li>

<li><a href="Pi-calcul" title="Pi-calcul">π-calcul</a></li>

<li>Logique de composition de protocole (PCL)</li></ul>

<p>Projets de recherche et outils utilisés pour la vérification formelle des protocoles de sécurité :

</p>

<ul><li>Automated Validation of Internet Security Protocols and Applications (AVISPA)<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> et projet de suivi AVANTSSAR<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>

<ul><li>Chercheur d'attaque basé sur la logique de contrainte (CL-AtSe)<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup></li>

<li>Vérificateur de modèle à <a href="Virgule_fixe" title="Virgule fixe">virgule fixe</a> <a href="Open_source" title="Open source">open-source</a> (OFMC)<sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup></li>

<li>Vérificateur de modèle basé sur SAT (SATMC)<sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup></li></ul></li>

<li>Casper<sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup></li>

<li>CryptoVerif</li>

<li>Analyseur de formes de protocole cryptographique (CPSA)<sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup></li>

<li>Connaissance des protocoles de sécurité (KISS)<sup id="cite_ref-11" class="reference"><a href="#cite_note-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></li>

<li>Analyseur de protocole Maude-NRL (Maude-NPA)<sup id="cite_ref-12" class="reference"><a href="#cite_note-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup></li>

<li>ProVerif</li>

<li>Scyther<sup id="cite_ref-13" class="reference"><a href="#cite_note-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup></li>

<li>Tamarin Prover <sup id="cite_ref-14" class="reference"><a href="#cite_note-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup></li></ul>

<div class="mw-heading mw-heading3"><h3 id="Notion_de_protocole_abstrait">Notion de protocole abstrait</h3></div>

<p>Pour vérifier formellement un protocole, il est souvent abstrait et modélisé à l'aide de la <a href="Notation_de_protocole_de_s%C3%A9curit%C3%A9" title="Notation de protocole de sécurité">notation Alice & Bob</a>. Un exemple simple est le suivant :

</p>

<msub>

<msub>

</mrow>

</msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A\rightarrow B:\{X\}_{K_{A,B}}}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/8aea7612a5a95fd14f7e994131d0e1d236afe876.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.338ex; width:17.54ex; height:3.343ex;" alt="{\displaystyle A\rightarrow B:\{X\}_{K_{A,B}}}" loading="lazy"></span></dd></dl>

<p>Ceci indique qu'<a href="Alice_et_Bob" title="Alice et Bob">Alice</a> <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7daff47fa58cdfd29dc333def748ff5fa4c923e3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle A}" loading="lazy"></span> a l'intention d'envoyer un message à Bob <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/47136aad860d145f75f3eed3022df827cee94d7a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.764ex; height:2.176ex;" alt="{\displaystyle B}" loading="lazy"></span> composé d'un message <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle X}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/68baa052181f707c662844a465bfeeb135e82bab.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.98ex; height:2.176ex;" alt="{\displaystyle X}" loading="lazy"></span> chiffré sous clé partagée <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle K_{A,B}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle K_{A,B}}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/be8ac72428948492e18d61ea954ce03643d6f0f3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:5.143ex; height:2.843ex;" alt="{\displaystyle K_{A,B}}" loading="lazy"></span> .

</p>

<div class="mw-heading mw-heading2"><h2 id="Exemples">Exemples</h2></div>

<ul><li><a href="Internet_Key_Exchange" title="Internet Key Exchange">Internet Key Exchange</a></li>

<li><a href="IPsec" title="IPsec">IPsec</a></li>

<li><a href="Kerberos_(protocole)" title="Kerberos (protocole)">Kerberos</a></li>

<li><a href="Off-the-Record_Messaging" title="Off-the-Record Messaging">Messagerie confidentielle</a></li>

<li><a href="Point-to-Point_Protocol" title="Point-to-Point Protocol">Protocole point à point</a></li>

<li><a href="Secure_Shell" title="Secure Shell">Secure Shell</a> (SSH)</li>

<li><a href="Signal_Protocol" title="Signal Protocol">Signal Protocol</a></li>

<li><a href="Transport_Layer_Security" title="Transport Layer Security">Transport Layer Security</a></li>

<div class="mw-heading mw-heading2"><h2 id="Articles_connexes">Articles connexes</h2></div>

<ul><li>Liste des cryptosystèmes</li>

<li>Canal sécurisé</li>

<li>Référentiel ouvert des protocoles de sécurité</li>

<li>Comparaison des bibliothèques de cryptographie</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Références"><span id="R.C3.A9f.C3.A9rences"></span>Références</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a> </span><span class="reference-text"><span class="ouvrage" id="2015"><span class="noarchive">« <a rel="nofollow" class="external text" href="http://www.ccs-labs.org/~dressler/teaching/netzsicherheit-ws0304/07_CryptoProtocols_2on1.pdf"><cite style="font-style:normal;">Cryptographic Protocol Overview</cite></a> » <small class=" cachelinks">[<a rel="nofollow" class="external text" href="https://web.archive.org/web/20170829004310/http://www.ccs-labs.org/~dressler/teaching/netzsicherheit-ws0304/07_CryptoProtocols_2on1.pdf">archive du <time class="nowrap" datetime="2017-08-29" data-sort-value="2017-08-29">29 août 2017</time></a>]</small></span>, <time class="nowrap" datetime="2015-10-23" data-sort-value="2015-10-23">23 octobre 2015</time> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2015-10-23" data-sort-value="2015-10-23">23 octobre 2015</time>)</small></span></span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a> </span><span class="reference-text"><span class="ouvrage" id="ChenJeroJagielskiBoldyreva2021"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Chen, Jero, Jagielski et Boldyreva, « <cite style="font-style:normal" lang="en">Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC</cite> », <i><span class="lang-en" lang="en">Journal of Cryptology</span></i>, <abbr class="abbr" title="volume">vol.</abbr> 34, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 3,‎ <time class="nowrap" datetime="2021-07-01" data-sort-value="2021-07-01"><abbr class="abbr" title="premier">1<sup>er</sup></abbr> juillet 2021</time>, <abbr class="abbr" title="page">p.</abbr> 26 <small style="line-height:1em;">(<a href="International_Standard_Serial_Number" title="International Standard Serial Number">ISSN</a> <span class=" noarchive"><a rel="nofollow" class="external text" href="https://portal.issn.org/resource/issn/0933-2790">0933-2790</a></span>, <a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <span class=" noarchive nowrap"><a rel="nofollow" class="external text" href="https://dx.doi.org/10.1007/s00145-021-09389-w">10.1007/s00145-021-09389-w</a></span>, <a rel="nofollow" class="external text" href="https://link.springer.com/10.1007/s00145-021-09389-w">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Secure+Communication+Channel+Establishment%3A+TLS+1.3+%28over+TCP+Fast+Open%29+versus+QUIC&rft.jtitle=Journal+of+Cryptology&rft.issue=3&rft.au=Chen&rft.au=Jero&rft.au=Jagielski&rft.au=Boldyreva&rft.date=2021-07-01&rft.volume=34&rft.pages=26&rft.issn=0933-2790&rft_id=info%3Adoi%2F10.1007%2Fs00145-021-09389-w&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AProtocole+cryptographique"></span></span></span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Schoenmakers"><span class="ouvrage" id="Berry_Schoenmakers">Berry Schoenmakers, « <a rel="nofollow" class="external text" href="https://www.win.tue.nl/~berry/CryptographicProtocols/LectureNotes.pdf"><cite style="font-style:normal;">Lecture Notes Cryptographic Protocols</cite></a> »</span></span></span>

</li>

<li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a> </span><span class="reference-text"><span class="ouvrage"><span class="noarchive">« <a rel="nofollow" class="external text" href="http://avispa-project.org/"><cite style="font-style:normal;">Automated Validation of Internet Security Protocols and Applications (AVISPA)</cite></a> » <small class=" cachelinks">[<a rel="nofollow" class="external text" href="https://web.archive.org/web/20160922202730/http://www.avispa-project.org/">archive du <time class="nowrap" datetime="2016-09-22" data-sort-value="2016-09-22">22 septembre 2016</time></a>]</small></span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2016-10-07" data-sort-value="2016-10-07">7 octobre 2016</time>)</small></span></span>

</li>

<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.avantssar.eu/">AVANTSSAR</a></span>

</li>

<li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://cassis.loria.fr/wiki/Wiki.jsp?page=Cl-Atse">Constraint Logic-based Attack Searcher (Cl-AtSe)</a></span>

</li>

<li id="cite_note-7"><span class="mw-cite-backlink"><a href="#cite_ref-7">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://people.compute.dtu.dk/samo/">Open-Source Fixed-Point Model-Checker (OFMC)</a></span>

</li>

<li id="cite_note-8"><span class="mw-cite-backlink"><a href="#cite_ref-8">↑</a> </span><span class="reference-text"><span class="ouvrage"><span class="noarchive">« <a rel="nofollow" class="external text" href="http://www.ai-lab.it/satmc/"><cite style="font-style:normal;">SAT-based Model-Checker for Security Protocols and Security-sensitive Application (SATMC)</cite></a> » <small class=" cachelinks">[<a rel="nofollow" class="external text" href="https://web.archive.org/web/20151003010538/http://www.ai-lab.it/satmc/">archive du <time class="nowrap" datetime="2015-10-03" data-sort-value="2015-10-03">3 octobre 2015</time></a>]</small></span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2016-10-17" data-sort-value="2016-10-17">17 octobre 2016</time>)</small></span></span>

</li>

<li id="cite_note-9"><span class="mw-cite-backlink"><a href="#cite_ref-9">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Casper/index.html">Casper: A Compiler for the Analysis of Security Protocols</a></span>

</li>

<li id="cite_note-10"><span class="mw-cite-backlink"><a href="#cite_ref-10">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://hackage.haskell.org/package/cpsa">cpsa: Symbolic cryptographic protocol analyzer</a></span>

</li>

<li id="cite_note-11"><span class="mw-cite-backlink"><a href="#cite_ref-11">↑</a> </span><span class="reference-text"><span class="ouvrage"><span class="noarchive">« <a rel="nofollow" class="external text" href="http://www.lsv.ens-cachan.fr/~ciobaca/kiss/"><cite style="font-style:normal;">Knowledge In Security protocolS (KISS)</cite></a> » <small class=" cachelinks">[<a rel="nofollow" class="external text" href="https://web.archive.org/web/20161010085620/http://www.lsv.ens-cachan.fr/~ciobaca/kiss/">archive du <time class="nowrap" datetime="2016-10-10" data-sort-value="2016-10-10">10 octobre 2016</time></a>]</small></span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2016-10-07" data-sort-value="2016-10-07">7 octobre 2016</time>)</small></span></span>

</li>

<li id="cite_note-12"><span class="mw-cite-backlink"><a href="#cite_ref-12">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://personales.upv.es/sanesro/Maude-NPA_Protocols/">Maude-NRL Protocol Analyzer (Maude-NPA)</a></span>

</li>

<li id="cite_note-13"><span class="mw-cite-backlink"><a href="#cite_ref-13">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://www.cs.ox.ac.uk/people/cas.cremers/scyther/">Scyther</a></span>

</li>

<li id="cite_note-14"><span class="mw-cite-backlink"><a href="#cite_ref-14">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://tamarin-prover.github.io/">Tamarin Prover</a></span>

</li>

</ol></div>

</div>

<div class="mw-heading mw-heading2"><h2 id="Bibliographie">Bibliographie</h2></div>

<ul><li><span class="ouvrage">Ksenia Ermoshina, Francesca Musiani et Harry Halpin <span class="citation">« End-to-End Encrypted Messaging Protocols: An Overview »</span> (<time class="nowrap" datetime="2016-09" data-sort-value="2016-09">Septembre 2016</time>) <small style="line-height:1em;">(<a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <span class=" noarchive nowrap"><a rel="nofollow" class="external text" href="https://dx.doi.org/10.1007/978-3-319-45982-0_22">10.1007/978-3-319-45982-0_22</a></span>, <a rel="nofollow" class="external text" href="https://hal.inria.fr/hal-01426845/file/paper_21.pdf">lire en ligne</a>)</small><br>—<i>INSCI 2016</i><br>— <span class="ouvrage"><cite style="font-style:normal">« <i>(ibid.)</i> »</cite>, dans <cite class="italique">Internet Science</cite>, Florence, Italy, Bagnoli, Franco <small style="line-height:1em;">(<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <span class="nowrap">978-3-319-45982-0</span>)</small>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">244–254</span><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.btitle=Internet+Science&rft.atitle=%27%27%28ibid.%29%27%27&rft.place=Florence%2C+Italy&rft.pub=Bagnoli%2C+Franco&rft.pages=244%E2%80%93254&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AProtocole+cryptographique"></span></span></span></li></ul>

<ul id="bandeau-portail" class="bandeau-portail"><li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"></span></span> <span class="bandeau-portail-texte">Portail des cryptomonnaies</span> </span></li> </ul></div><div><div class="zim-footer">

Cet article est issu de <a class="external text" title="Dernière modification le 2025-03-16" href="https://fr.wikipedia.org/wiki/?title=Protocole_cryptographique&oldid=223937945">Wikipédia</a>. Sauf mention contraire, le texte est disponible sous <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">Creative Commons Attribution-Share Alike 4.0</a>. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

</div>

</div></div>

</div>

</main>

</div>

</body></html>